利用格论研究缺省推理

本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.     

MB80在大型抽水蓄能电站计算机监控系统的应用

讨论了大型抽水蓄能电站监控系统的现状,分析了现有系统的优缺点;介绍了国网南京自动化研究院自主创新、具有完全知识产权的MB80型智能可编程控制器;针对大型抽水蓄能电站控制的特点,讨论了国产化系统需研究的关键技术;最后介绍了以MB80为核心控制平台的大型抽水蓄能电站计算机监控系统.     

神经模糊混合系统在测井储层识别中的应用

储层识别是石油勘探中十分重要的基础工作,它可以为油田勘探和开发提供可靠的依据。神经模糊混合方法是通过对测井数据的学习,运用模糊逻辑与神经网络相结合的混合系统对测井数据进行提取和优化。根据来自不同油井的观测数据,采用一个二阶段的策略来决定该预测模型的结构和参数,从而对测井储层进行识别。给出了该混合方法预测的初步结果,为油井的开发提供了重要的参考。     

单片机模糊控制在电饭煲中的应用

介绍用新型HT46R47型单片机和模糊控制技术实现的电饭煲。他具有电路简单、成本低廉、节省能源、安全可靠等特点。     

Critical scenarios derivation methodology for mechatronic systems

This paper deals with safety in design of mechatronic systems. We propose a method based on a qualitative analysis of a Petri net model of the system. It allows deriving feared scenarios by determining the sequences of actions and state changes leading to the feared state in which the passenger's safety is no longer guaranteed. The Petri net model of the system takes into account normal behaviour, failures and reconfiguration mechanisms. Our approach uses linear logic as formal framework and is based on a backward and a forward reasoning. It derives feared scenarios as causal relationships between normal states and the feared one.     

环形直线行波超声电机定子的模态分析

针对一类环形封闭式的行波型直线超声电机定子的振动模态进行了有限元与实验研究。该类电机的定子由两个半圆环和两段直梁构成。分析了有限元的单元尺度对固有频率及频率差的影响以及压电陶瓷片的粘贴位置对固有频率及弯曲振型的影响。对自行研制的超声电机进行了实验研究。实验结果表明，固有频率差的数值计算值与相应的共振频率之差吻合。     

EWB在《数字电路》教学中的应用

在数字电路教学中，运用EWB仿真软件，进行理论与仿真验证相结合的教学改革，快速地将理论变抽象为感性，克服了传统理论教学中的不足。     

一种基于FPGA的逻辑分析仪触发电路的设计

介绍数字逻辑分析仪触发电路的工作原理，讨论了EDA技术实现触发电路设计的方法，同时给出了总的时序仿真图和部分电路的程序设计。